- hol|o|type
- hol|o|type «HOL uh typ», noun.Biology. a single specimen on which the description of a species, variety, or other lesser taxonomic group, is based.
Useful english dictionary. 2012.
Useful english dictionary. 2012.
HOL theorem prover family — HOL (Higher Order Logic) denotes a family of interactive theorem proving systems sharingsimilar logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language … Wikipedia
HOL Light — is a member of the HOL theorem prover family. Likethe other members, it is a proof assistant for classical higher order logic. Compared with other HOL systems, HOL Light isintended to have relatively simple foundations.Logical foundationsHOL… … Wikipedia
hol- — ⇒HOL(O) , (HOL , HOLO )élém. formant Élém. tiré du gr. « entier » et entrant dans la constr. de nombreux mots savants. I. [Forme hol ] A. [Les mots constr. sont des adj.] 1. [Le 2e élém. est issu du gr.] : holandrique, adj.génét. Gène, caractère… … Encyclopédie Universelle
Hol’s der Teufel — Alexander Schleicher GmbH Co Alexander Schleicher GmbH Co Création 1927 Personnages clés Rudo … Wikipédia en Français
Hol — For the Role Playing Game of the same name, see Hol (role playing game). Hol is a municipality in the county of Buskerud, Norway.Hol was separated from Ål in 1877. The area of Dagali was transferred from Uvdal to Hol in 1944.The nameThe… … Wikipedia
hol — ISO 639 3 Code of Language ISO 639 2/B Code : ISO 639 2/T Code : ISO 639 1 Code : Scope : Individual Language Type : Living Language Name : Holu … Names of Languages ISO 639-3
al|co|hol|om|e|ter — «AL kuh h LOM uh tuhr, ho », noun. an instrument for finding the percentage of alcohol in a liquid. It is a type of hydrometer … Useful english dictionary
holotype — hol•o•type [[t]ˈhɒl əˌtaɪp, ˈhoʊ lə [/t]] n. bio tax the single specimen used as the basis for the original description of a species hol o•typ′ic ˈtɪp ɪk adj … From formal English to slang
Holdemania — Hol·de·ma·nia (hol″də manґe ə) [Lillian V. Holdeman Moore, American microbiologist, 20th century] a genus of bacteria of the family Erysipelotrichaceae, consisting of gram positive, anaerobic, short rods that occur in pairs and… … Medical dictionary
holozoic nutrition — (hol o zo ik) In this type of nutrition, nutrients (such as bacteria) are acquired by phagocytosis and the subsequent formation of a food vacuole or phagosome … Dictionary of microbiology